DESIGN: Let's use our own kernels

diff --git a/DESIGN b/DESIGN
index f8f65e6c91ae0b479bbbf1aeea607e91af6e3f07..dbbda153a4a9d0c850df8c8f3e83d74349010162 100644 (file)
--- a/DESIGN
+++ b/DESIGN
@@ -71,15 +71,13 @@ These live in the same root filesystem as your regular distribution
 (Note though, the root partition should be reasonably sized, or
  hopefully you've used just one big partition).
 
-We allow booting into these roots via a modified dracut - if you have
-this system installed, at boot time it shows a prompt like:
+You should be able to boot into one of these roots.  Since hacktree
+lives inside a distro created partition, a tricky part here is that we
+need to know how to interact with the installed distribution's grub.
+This is an annoying but tractable problem.
 
-[0] Default root
-[1] /gnomeos/root-3.0-opt
-[2] /gnomeos/root-3.2-opt
-
-If you pick [1] or [2], then instead of calling switch_root for /,
-it uses the selected root.
+Hacktree will allow efficiently parallel installing and downloading OS
+builds.
 
 == The recipe set ==
 
@@ -190,8 +188,6 @@ we then diff?
 If the script fails, we can roll back the update, or drop to a shell
 if interactive.
 
-== Booting ==
-
 == Local modifications ==
 
 A key point of this whole endeavour is that we want developers to be